
\begin{tikzpicture}[>=latex,line join=bevel,]
  \pgfsetlinewidth{1bp}
%%
\pgfsetcolor{black}
  % Edge: (2,2) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (110.92bp,198.58bp) .. controls (116.91bp,196.79bp) and (123.74bp,194.75bp)  .. (140.33bp,189.79bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (117.72bp,182.65bp) node {call};
  % Edge: (4,8)(4,11) -> (4,10)
  \draw [->] (178.52bp,193.77bp) .. controls (202.75bp,212.26bp) and (258.66bp,246.85bp)  .. (302.48bp,269.95bp);
  \draw (228.91bp,240.5bp) node {a};
  % Edge: (4,6) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (75.204bp,46.702bp) .. controls (87.498bp,72.398bp) and (125.02bp,131.37bp)  .. (154.32bp,170.2bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (126.7bp,95.489bp) node {call};
  % Edge: (2,3) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (198.55bp,150.5bp) .. controls (194.61bp,154.39bp) and (190.26bp,158.69bp)  .. (178.83bp,169.99bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (180.31bp,144.67bp) node {call};
  % Edge: (4,12) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (427.24bp,181.65bp) .. controls (379.31bp,181.7bp) and (271.92bp,181.79bp)  .. (201bp,181.85bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (319.16bp,171.75bp) node {call};
  % Edge: (4,9) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (200.68bp,26.156bp) .. controls (194.53bp,54.435bp) and (179.59bp,123.08bp)  .. (169.58bp,169.08bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (202.22bp,95.601bp) node {call};
  % Edge: (4,12) -> (2,13)
  \pgfsetcolor{red}
  \draw [->] (436.33bp,171.7bp) .. controls (413.39bp,156.69bp) and (369.71bp,128.12bp)  .. (334.15bp,104.86bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (400.49bp,125.06bp) node {ret: (2,4)};
  % Edge: (2,13) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (302.84bp,104.33bp) .. controls (276.85bp,119.15bp) and (225.74bp,148.28bp)  .. (185.35bp,171.31bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (240.47bp,121.32bp) node {call};
  % Edge: (4,10) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (311.41bp,265.48bp) .. controls (288.3bp,247.74bp) and (234.9bp,214.57bp)  .. (190.91bp,190.93bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (247.62bp,244.56bp) node {call};
  % Edge: (4,9) -> (2,13)
  \pgfsetcolor{red}
  \draw [->] (217.16bp,23.174bp) .. controls (236.7bp,36.94bp) and (272.76bp,62.35bp)  .. (304.71bp,84.868bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (245.75bp,67.072bp) node {ret: (2,4)};
  % Edge: (4,8)(4,11) -> (4,6)
  \draw [->] (163.06bp,169.26bp) .. controls (150.56bp,143.26bp) and (112.79bp,83.954bp)  .. (83.367bp,45.148bp);
  \draw (115.4bp,118.29bp) node {b};
  % Edge: (2,2) -> (2,4)
  \draw [->] (107.54bp,213.06bp) .. controls (121.64bp,221.11bp) and (142.71bp,233.15bp)  .. (168.02bp,247.61bp);
  \draw (139.29bp,216.77bp) node {a};
  % Edge: (2,4) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (180.47bp,243.69bp) .. controls (178.12bp,233.06bp) and (174.7bp,217.59bp)  .. (169.66bp,194.82bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (192.17bp,221.23bp) node {call};
  % Edge: (2,13) -> (2,3)
  \draw [->] (299.59bp,102.68bp) .. controls (283.96bp,108.78bp) and (261.77bp,117.45bp)  .. (234.15bp,128.24bp);
  \draw (267.64bp,102.6bp) node {a};
  % Edge: (4,10) -> (4,12)
  \draw [->] (336.9bp,266.42bp) .. controls (359.28bp,249.87bp) and (402.78bp,217.69bp)  .. (437.56bp,191.96bp);
  \draw (375.09bp,222.25bp) node {a};
  % Edge: (4,6) -> (4,9)
  \draw [->] (91.903bp,31.129bp) .. controls (113.52bp,27.712bp) and (147.97bp,22.267bp)  .. (182.88bp,16.748bp);
  \draw (131.38bp,13.73bp) node {b};
  % Edge: (4,8)(4,11) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (195.68bp,188.55bp) .. controls (208.13bp,189.09bp) and (218.8bp,186.87bp)  .. (218.8bp,181.88bp) .. controls (218.8bp,178.33bp) and (213.41bp,176.18bp)  .. (195.68bp,175.21bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (232.8bp,181.88bp) node {call};
  % Edge: (2,2)__precursor__ -> (2,2)
  \draw [->] (47.919bp,232.19bp) .. controls (54.485bp,228.03bp) and (61.847bp,223.36bp)  .. (77.45bp,213.48bp);
  % Node: (2,2)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (92bp,204bp) ellipse (21bp and 13bp);
  \draw (92.065bp,204.22bp) node {(2,2)};
\end{scope}
  % Node: (4,8)(4,11)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (167bp,182bp) ellipse (34bp and 13bp);
  \draw (166.8bp,181.88bp) node {(4,8)(4,11)};
\end{scope}
  % Node: (2,3)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (213bp,137bp) ellipse (21bp and 13bp);
  \draw (213bp,137bp) ellipse (25bp and 17bp);
  \draw (212.52bp,136.69bp) node {(2,3)};
\end{scope}
  % Node: (4,6)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (72bp,34bp) ellipse (21bp and 13bp);
  \draw (71.591bp,34.339bp) node {(4,6)};
\end{scope}
  % Node: (2,4)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (183bp,256bp) ellipse (21bp and 13bp);
  \draw (183.27bp,256.31bp) node {(2,4)};
\end{scope}
  % Node: (4,10)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (323bp,277bp) ellipse (24bp and 13bp);
  \draw (322.62bp,276.99bp) node {(4,10)};
\end{scope}
  % Node: (4,9)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (203bp,14bp) ellipse (21bp and 13bp);
  \draw (203.43bp,13.5bp) node {(4,9)};
\end{scope}
  % Node: (4,12)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (452bp,182bp) ellipse (24bp and 13bp);
  \draw (451.51bp,181.63bp) node {(4,12)};
\end{scope}
  % Node: (2,13)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (319bp,95bp) ellipse (24bp and 13bp);
  \draw (319.15bp,95.04bp) node {(2,13)};
\end{scope}
%
\end{tikzpicture}
